51![Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on Available online at www.sciencedirect.com Electronic Notes in Theoretical Computer Science–104 www.elsevier.com/locate/entcs Static Analysis of Boolean Networks Based on](https://www.pdfsearch.io/img/a57cc179b80553e5bef5ba1a4eba8b87.jpg) | Add to Reading ListSource URL: loicpauleve.name- Date: 2015-11-24 05:31:54
|
---|
52![30th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ?? 30th Symposium on Theoretical Aspects of Computer Science (STACS 2014), STACS 2014, Lyon (France), March 5-8, 2014. Explicit linear kernels via dynamic programming? ??](https://www.pdfsearch.io/img/b6ee8f09926908cce645bde90a5a4482.jpg) | Add to Reading ListSource URL: users.uoa.gr- Date: 2014-06-11 17:30:28
|
---|
53![Theoretical Computer Science ELSEVIER Theoretical Theoretical Computer Science ELSEVIER Theoretical](https://www.pdfsearch.io/img/2e218644fd42d2e729cfa7e2ff95f353.jpg) | Add to Reading ListSource URL: users.uoa.gr- Date: 2014-06-11 17:30:29
|
---|
54![Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss Dynamic Frames in Java Dynamic Logic Peter H. Schmitt, Mattias Ulbrich, and Benjamin Weiß Karlsruhe Institute of Technology Institute for Theoretical Computer Science DKarlsruhe, Germany {pschmitt,mulbrich,bweiss](https://www.pdfsearch.io/img/a54e51c91dda7622f38df1eae6803b82.jpg) | Add to Reading ListSource URL: i12www.iti.kit.edu- Date: 2010-06-02 04:06:07
|
---|
55![Thfxmtical Computer Science Theoretical Computer Science380 A general conservative extension theorem in process algebras with inequalities Thfxmtical Computer Science Theoretical Computer Science380 A general conservative extension theorem in process algebras with inequalities](https://www.pdfsearch.io/img/71e937dda8d32d42c727341c1c61a1a8.jpg) | Add to Reading ListSource URL: www.cs.vu.nl- Date: 2005-12-23 06:21:56
|
---|
56![Probabilistic Inference in General Graphical Models through Sampling in Stochastic Networks of Spiking Neurons Dejan Pecevski*, Lars Buesing¤, Wolfgang Maass Institute for Theoretical Computer Science, Graz University o Probabilistic Inference in General Graphical Models through Sampling in Stochastic Networks of Spiking Neurons Dejan Pecevski*, Lars Buesing¤, Wolfgang Maass Institute for Theoretical Computer Science, Graz University o](https://www.pdfsearch.io/img/d82ea2fa4086da1e4ebd92965e669722.jpg) | Add to Reading ListSource URL: www.gatsby.ucl.ac.uk- Date: 2014-10-13 19:51:18
|
---|
57![Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation Predicate Abstraction in a Program Logic Calculus Benjamin Weiß Institute for Theoretical Computer Science, Karlsruhe Institute of Technology, Germany Abstract Predicate abstraction is a form of abstract interpretation](https://www.pdfsearch.io/img/c1a1d837a1dbb31d0faa036b85025bb6.jpg) | Add to Reading ListSource URL: i12www.iti.kit.edu- Date: 2010-06-24 07:51:38
|
---|
58![Discrete Mathematics and Theoretical Computer Science Proceedings AA (DM-CCG), 2001, 165–176 On Minimal Strings Containing the Elements of Sn by Decimation Robert Erra 1 , Nik Lygeros2, and Nigel Stewart 3 1 ESIEA, Discrete Mathematics and Theoretical Computer Science Proceedings AA (DM-CCG), 2001, 165–176 On Minimal Strings Containing the Elements of Sn by Decimation Robert Erra 1 , Nik Lygeros2, and Nigel Stewart 3 1 ESIEA,](https://www.pdfsearch.io/img/1bf246ed5726e323aee50e01db1f128b.jpg) | Add to Reading ListSource URL: www.dmtcs.org- Date: 2005-10-17 15:50:33
|
---|
59![FSTTCS th FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 13–15, 2016 Chennai Mathematical Institute, Chennai, India CALL FOR PAPERS FSTTCS th FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE December 13–15, 2016 Chennai Mathematical Institute, Chennai, India CALL FOR PAPERS](https://www.pdfsearch.io/img/eaa4a709dc0cbd51c87e5fd541afb3b6.jpg) | Add to Reading ListSource URL: www.fsttcs.org- Date: 2016-06-06 10:09:04
|
---|
60![List of research papers and citations Journals 1. A note on contracting claw-free graphs coauthored with Marcin Kami´ nski, and Dani¨el Paulusma, Discrete Mathematics and Theoretical Computer Science 15, ), List of research papers and citations Journals 1. A note on contracting claw-free graphs coauthored with Marcin Kami´ nski, and Dani¨el Paulusma, Discrete Mathematics and Theoretical Computer Science 15, ),](https://www.pdfsearch.io/img/73c56f328dbc21a91bd56ef0fbcd7f93.jpg) | Add to Reading ListSource URL: kam.mff.cuni.cz- Date: 2013-09-27 02:47:45
|
---|